A note on an extension of PDL
نویسندگان
چکیده
Recently visibly pushdown automata have been extended to so called k-phase multistack visibly pushdown automata (k-MVPAs). On the occasion of introducing kMVPAs, it has been asked whether the extension of Propositional Dynamic Logic with k-MVPAs still leads to a decidable logic. This question is answered negatively here.
منابع مشابه
A note on "An interval type-2 fuzzy extension of the TOPSIS method using alpha cuts"
The technique for order of preference by similarity to ideal solution (TOPSIS) is a method based on the ideal solutions in which the most desirable alternative should have the shortest distance from positive ideal solution and the longest distance from negative ideal solution. Depending on type of evaluations or method of ranking, different approaches have been proposing to calculate distances ...
متن کاملAn investigation on stress distribution of the anterior maxillary teeth PDL during the application of intrusive forces in midline
An investigation on stress distribution of the anterior maxillary teeth PDL during the application of intrusive forces in midline Dr. S.M. Abtahi * - Dr. F. Heravi** * - Assistant professor of Orthodontics Dept. Faculty of Dentistry Hamedan University of Medical Sciences. ** - Assistant professor of Orthodontics Dept. Faculty of Dentistry Mashhad University of Medical Sciences. Background an...
متن کاملOn a Non-Context-Free Extension of PDL
Over the last 25 years, a lot of work has been done on seeking for decidable nonregular extensions of Propositional Dynamic Logic (PDL). Only recently, an expressive extension of PDL, allowing visibly pushdown automata (VPAs) as a formalism to describe programs, was introduced and proven to have a satisfiability problem complete for deterministic double exponential time. Lately, the VPA formali...
متن کاملA Real-time Motion Tracking Wireless System for Upper Limb Exosuit Based on Inertial Measurement Units and Flex Sensors (TECHNICAL NOTE)
This paper puts forward a real-time angular tracking (motion capture) system for a low cost upper limb exosuit based on sensor fusion; which is integrated by an elastic sleeve-mitten, two inertial measurement units (IMU), two flex sensors and a wireless communication system. The device can accurately detect the angular position of the shoulder (flexion-extension, abduction-adduction and interna...
متن کاملPDL with Negation of Atomic Programs
Propositional dynamic logic (PDL) is one of the most successful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, as long-known, reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Applied Logic
دوره 6 شماره
صفحات -
تاریخ انتشار 2008